Knihy od autora Nina Narodytska

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Software Verification and Formal Methods for ML-Enabled Autonomous Systems

   Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi | Springer, Berlin, 2022

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1535 Kč

   Koupit
2. 

   AI Verification

   Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling | Springer, Berlin, 2025

   
   

   Skladem u dodavatele - Odesíláme za 8-11 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1370 Kč

   Koupit
3. 

   AI Verification

   Taylor T. Johnson, Guy Katz, Anna Lukina, Christian Schilling, Guy Avni, Mirco Giacobbe, Nina Narodytska | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3062 Kč

   Koupit

Doručení zdarma pro objednávky nad 1499 Kč Zjistěte více